Research Institute for Symbolic Computation

Results: 18



#Item
11Symbolic Computation and Program Verification M˘ad˘alina Eras¸cu Research Institute for Symbolic Computation Johannes Kepler University, Linz, Austria [removed] Abstract

Symbolic Computation and Program Verification M˘ad˘alina Eras¸cu Research Institute for Symbolic Computation Johannes Kepler University, Linz, Austria [removed] Abstract

Add to Reading List

Source URL: www.marshallplan.at

Language: English - Date: 2013-08-13 16:13:45
12Doctoral Studies in Symbolic Computation Symbolic Computation at RISC Symbolic Computation is the subarea of mathematics and computer science which solves problems on symbolic objects

Doctoral Studies in Symbolic Computation Symbolic Computation at RISC Symbolic Computation is the subarea of mathematics and computer science which solves problems on symbolic objects

Add to Reading List

Source URL: www.risc.jku.at

Language: English - Date: 2011-12-15 08:55:43
13Fast, rigorous arbitrary-precision numerics with ball arithmetic Fredrik Johansson Research Institute for Symbolic Computation, Johannes Kepler University Linz Supported by Austrian Science Fund (FWF) grant Y464-N18

Fast, rigorous arbitrary-precision numerics with ball arithmetic Fredrik Johansson Research Institute for Symbolic Computation, Johannes Kepler University Linz Supported by Austrian Science Fund (FWF) grant Y464-N18

Add to Reading List

Source URL: fredrikj.net

Language: English - Date: 2013-03-14 11:53:29
14MKM 2001 First International Workshop on Mathematical Knowledge Management RISC, A-4232 Schloss Hagenberg, September 24-26, 2001

MKM 2001 First International Workshop on Mathematical Knowledge Management RISC, A-4232 Schloss Hagenberg, September 24-26, 2001

Add to Reading List

Source URL: www.risc.jku.at

Language: English - Date: 2001-03-25 13:35:12
15AISC 2004 7th International Conference on

AISC 2004 7th International Conference on

Add to Reading List

Source URL: www.risc.jku.at

Language: English - Date: 2004-02-11 11:40:23
16CALL FOR PAPERS - CALL FOR PAPERS - CALL FOR PAPERS Hagenberg, Austria July 5-8, 2007 http://www.risc.uni-linz.ac.at/conferences/ispdc2007 In the exciting and rapidly moving world of parallel and

CALL FOR PAPERS - CALL FOR PAPERS - CALL FOR PAPERS Hagenberg, Austria July 5-8, 2007 http://www.risc.uni-linz.ac.at/conferences/ispdc2007 In the exciting and rapidly moving world of parallel and

Add to Reading List

Source URL: www.risc.jku.at

Language: English - Date: 2006-12-13 04:50:42
17CALL FOR PAPERS - CALL FOR PAPERS - CALL FOR PAPERS Hagenberg, Austria July 5-8, 2007 http://www.risc.uni-linz.ac.at/conferences/ispdc2007 In the exciting and rapidly moving world of parallel and

CALL FOR PAPERS - CALL FOR PAPERS - CALL FOR PAPERS Hagenberg, Austria July 5-8, 2007 http://www.risc.uni-linz.ac.at/conferences/ispdc2007 In the exciting and rapidly moving world of parallel and

Add to Reading List

Source URL: www.risc.jku.at

Language: English - Date: 2007-01-29 06:27:27
18MKM 2001 First International Workshop on Mathematical Knowledge Management RISC, A-4232 Schloss Hagenberg, September 24-26, 2001

MKM 2001 First International Workshop on Mathematical Knowledge Management RISC, A-4232 Schloss Hagenberg, September 24-26, 2001

Add to Reading List

Source URL: www.risc.jku.at

Language: English - Date: 2001-03-25 13:36:33